公開: 2021年10月18日
更新: 2021年10月18日
NASAのスペースシャトル組込みソフトウェア開発でも、宇宙飛行士から請求される要求項目は、プログラム記述量で30行から50行で実現できる程度の内容に限定されていた。その場合、要求項目は1つの単文(英語)で表現できる程度のものであった。